KIFER, MICHAEL: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Declarative Logic Programming: Theory, Systems, and Applications || Datalog: concepts, history, and outlook

Kifer, Michael, Liu, Yanhong Annie

Year:

2018

Language:

english

File:

PDF, 628 KB

english, 2018

2

Declarative Logic Programming: Theory, Systems, and Applications || WAM for everyone: a virtual machine for logic programming

Kifer, Michael, Liu, Yanhong Annie

Year:

2018

Language:

english

File:

PDF, 1.54 MB

english, 2018

3

Theory of generalized annotated logic programming and its applications

Michael Kifer, V.S. Subrahmanian

Journal:

The Journal of Logic Programming

Year:

1992

Language:

english

File:

PDF, 2.39 MB

english, 1992

4

Timeless Strategy Meets New Medium: Going Negative on Congressional Campaign Web Sites, 2002–2006

Druckman, James N., Kifer, Martin J., Parkin, Michael

Journal:

Political Communication

Year:

2010

Language:

english

File:

PDF, 181 KB

english, 2010

5

Logical foundations of object-oriented and frame-based languages

Kifer, Michael, Lausen, Georg, Wu, James

Journal:

Journal of the ACM

Year:

1995

Language:

english

File:

PDF, 7.17 MB

english, 1995

6

Campaign Communications in U.S. Congressional Elections

JAMES N. DRUCKMAN, MARTIN J. KIFER and MICHAEL PARKIN

Journal:

American Political Science Review

Year:

2009

Language:

english

File:

PDF, 4.38 MB

english, 2009

7

[Lecture Notes in Computer Science] Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering Volume 9885 ||

Pan, Jeff Z., Calvanese, Diego, Eiter, Thomas, Horrocks, Ian, Kifer, Michael, Lin, Fangzhen, Zhao, Yuting

Year:

2017

Language:

english

File:

PDF, 11.40 MB

english, 2017

8

[Lecture Notes in Computer Science] Transactions and Change in Logic Databases Volume 1472 || Applications of belief revision

Freitag, Burkhard, Decker, Hendrik, Kifer, Michael, Voronkov, Andrei

Year:

1998

Language:

english

File:

PDF, 1.87 MB

english, 1998

9

Declarative Logic Programming: Theory, Systems, and Applications || Logic programming applications: what are the abstractions and implementations?

Kifer, Michael, Liu, Yanhong Annie

Year:

2018

Language:

english

File:

PDF, 330 KB

english, 2018

10

Declarative Logic Programming: Theory, Systems, and Applications || SolverBlox: algebraic modeling in datalog

Kifer, Michael, Liu, Yanhong Annie

Year:

2018

Language:

english

File:

PDF, 1.07 MB

english, 2018

11

Declarative Logic Programming: Theory, Systems, and Applications || State-space search with tabled logic programs

Kifer, Michael, Liu, Yanhong Annie

Year:

2018

Language:

english

File:

PDF, 897 KB

english, 2018

12

Declarative Logic Programming: Theory, Systems, and Applications || Exploring life: answer set programming in bioinformatics

Kifer, Michael, Liu, Yanhong Annie

Year:

2018

Language:

english

File:

PDF, 2.81 MB

english, 2018

13

A theory of nonmonotonic inheritance based on annotated logic

Krishnaprasad Thirunarayan, Michael Kifer

Journal:

Artificial Intelligence

Year:

1993

Language:

english

File:

PDF, 1.34 MB

english, 1993

14

[Lecture Notes in Computer Science] The Semantic Web: Research and Applications Volume 4519 ||

Franconi, Enrico, Kifer, Michael, May, Wolfgang

Year:

2007

Language:

english

File:

PDF, 34.67 MB

english, 2007

15

U.S. Congressional Campaign Communications in an Internet Age

Druckman, James N., Kifer, Martin J., Parkin, Michael

Journal:

Journal of Elections Public Opinion and Parties

Year:

2014

Language:

english

File:

PDF, 346 KB

english, 2014

16

Campaign Communications in U.S. Congressional Elections

DRUCKMAN, JAMES N., KIFER, MARTIN J., PARKIN, MICHAEL

Journal:

American Political Science Review

Year:

2009

Language:

english

File:

PDF, 201 KB

english, 2009

17

An integrated approach to logical design of relational database schemes

Beeri, Catriel, Kifer, Michael

Journal:

ACM Transactions on Database Systems

Year:

1986

Language:

english

File:

PDF, 1.41 MB

english, 1986

18

[ACM Press the 13th international World Wide Web conference - New York, NY, USA (2004.05.19-2004.05.21)] Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters - WWW Alt. '04 - CTR-S

Davulcu, Hasan, Kifer, Michael, Ramakrishnan, I. V.

Year:

2004

Language:

english

File:

PDF, 185 KB

english, 2004

19

F-logic: a higher-order language for reasoning about objects, inheritance, and scheme

Kifer, Michael, Lausen, Georg

Journal:

ACM SIGMOD Record

Year:

1989

Language:

english

File:

PDF, 1.51 MB

english, 1989

20

[Lecture Notes in Computer Science] Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering Volume 9885 || Understanding Author Intentions: Test Driven Knowledge Graph Construction

Pan, Jeff Z., Calvanese, Diego, Eiter, Thomas, Horrocks, Ian, Kifer, Michael, Lin, Fangzhen, Zhao, Yuting

Year:

2017

Language:

english

File:

PDF, 1006 KB

english, 2017

21

[Lecture Notes in Computer Science] Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering Volume 9885 || From Fuzzy to Annotated Semantic Web Languages

Pan, Jeff Z., Calvanese, Diego, Eiter, Thomas, Horrocks, Ian, Kifer, Michael, Lin, Fangzhen, Zhao, Yuting

Year:

2017

Language:

english

File:

PDF, 741 KB

english, 2017

22

[Lecture Notes in Computer Science] Transactions and Change in Logic Databases Volume 1472 || Inductive definability and the situation calculus

Freitag, Burkhard, Decker, Hendrik, Kifer, Michael, Voronkov, Andrei

Year:

1998

Language:

english

File:

PDF, 1.21 MB

english, 1998

23

Declarative Logic Programming: Theory, Systems, and Applications || Natural language processing with (tabled and constraint) logic programming

Kifer, Michael, Liu, Yanhong Annie

Year:

2018

Language:

english

File:

PDF, 827 KB

english, 2018

24

Declarative Logic Programming: Theory, Systems, and Applications || A survey of probabilistic logic programming

Kifer, Michael, Liu, Yanhong Annie

Year:

2018

Language:

english

File:

PDF, 854 KB

english, 2018

25

Declarative Logic Programming: Theory, Systems, and Applications || An introduction to the stable and well-founded semantics of logic programs

Kifer, Michael, Liu, Yanhong Annie

Year:

2018

Language:

english

File:

PDF, 480 KB

english, 2018

26

Declarative Logic Programming: Theory, Systems, and Applications || Predicate logic as a modeling language: the IDP system

Kifer, Michael, Liu, Yanhong Annie

Year:

2018

Language:

english

File:

PDF, 587 KB

english, 2018

27

Declarative Logic Programming: Theory, Systems, and Applications || Preface

Kifer, Michael, Liu, Yanhong Annie

Year:

2018

Language:

english

File:

PDF, 184 KB

english, 2018

28

[IEEE 2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI) - Santiago, Chile (2018.12.3-2018.12.6)] 2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI) - High Accuracy Question Answering via Hybrid Controlled Natural Language

Gao, Tiantian, Fodor, Paul, Kifer, Michael

Year:

2018

Language:

english

File:

PDF, 242 KB

english, 2018

29

Campaign Rhetoric and the Incumbency Advantage

Druckman, James N., Kifer, Martin J., Parkin, Michael

Journal:

American Politics Research

Year:

2019

Language:

english

File:

PDF, 103 KB

english, 2019

30

ServLog: A unifying logical framework for service modeling and contracting

Roman, Dumitru, Kifer, Michael, Polleres, Axel

Journal:

Year:

2018

File:

PDF, 576 KB

2018

31

A logic for programming with complex objects

Michael Kifer, James Wu

Journal:

Journal of Computer and System Sciences

Year:

1993

Language:

english

File:

PDF, 2.89 MB

english, 1993

32

A logic for reasoning with inconsistency

Michael Kifer, Eliezer L. Lozinskii

Journal:

Journal of Automated Reasoning

Year:

1992

Language:

english

File:

PDF, 2.17 MB

english, 1992

33

Foreword: Deductive object-oriented databases

Journal:

Journal of Intelligent Information Systems

Year:

1995

Language:

english

File:

PDF, 197 KB

english, 1995

34

Brownian motion, harmonic functions and hyperbolicity for Euclidean complexes

Michael Brin, Yuri Kifer

Journal:

Mathematische Zeitschrift

Year:

2001

Language:

english

File:

PDF, 397 KB

english, 2001

35

An overview of transaction logic

Anthony J. Bonner, Michael Kifer

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 4.68 MB

english, 1994

36

HiLog: A foundation for higher-order logic programming

Weidong Chen, Michael Kifer, David S. Warren

Journal:

The Journal of Logic Programming

Year:

1993

Language:

english

File:

PDF, 3.51 MB

english, 1993

37

Transaction Logic with Partially Defined Actions

Martín Rezk,Michael Kifer

Journal:

Journal on Data Semantics

Year:

2012

Language:

english

File:

PDF, 975 KB

english, 2012

38

[Lecture Notes in Computer Science] The Semantic Web: Research and Applications Volume 4519 || What Have Innsbruck and Leipzig in Common? Extracting Semantics from Wiki Content

Franconi, Enrico, Kifer, Michael, May, Wolfgang

Year:

2007

Language:

english

File:

PDF, 374 KB

english, 2007

39

[Lecture Notes in Computer Science] The Semantic Web: Research and Applications Volume 4519 || Semantic Composition of Lecture Subparts for a Personalized e-Learning

Franconi, Enrico, Kifer, Michael, May, Wolfgang

Year:

2007

Language:

english

File:

PDF, 588 KB

english, 2007

40

[Lecture Notes in Computer Science] The Semantic Web: Research and Applications Volume 4519 || The SPARQL Query Graph Model for Query Optimization

Franconi, Enrico, Kifer, Michael, May, Wolfgang

Year:

2007

Language:

english

File:

PDF, 702 KB

english, 2007

41

[Lecture Notes in Computer Science] The Semantic Web: Research and Applications Volume 4519 || Measuring Inconsistencies in Ontologies

Franconi, Enrico, Kifer, Michael, May, Wolfgang

Year:

2007

Language:

english

File:

PDF, 380 KB

english, 2007

42

[Lecture Notes in Computer Science] The Semantic Web: Research and Applications Volume 4519 || Minimal Deductive Systems for RDF

Franconi, Enrico, Kifer, Michael, May, Wolfgang

Year:

2007

Language:

english

File:

PDF, 512 KB

english, 2007

43

[Lecture Notes in Computer Science] Journal on Data Semantics VIII Volume 4380 || Default Clustering with Conceptual Structures

Spaccapietra, Stefano, Atzeni, Paolo, Fages, François, Hacid, Mohand-Saïd, Kifer, Michael, Mylopoulos, John, Pernici, Barbara, Shvaiko, Pavel, Trujillo, Juan, Zaihrayeu, Ilya

Year:

2007

Language:

english

File:

PDF, 591 KB

english, 2007

44

[Lecture Notes in Computer Science] The Semantic Web: Research and Applications Volume 4519 || Algorithms for Paraconsistent Reasoning with OWL

Franconi, Enrico, Kifer, Michael, May, Wolfgang

Year:

2007

Language:

english

File:

PDF, 512 KB

english, 2007

45

[Lecture Notes in Computer Science] The Semantic Web: Research and Applications Volume 4519 || WSMO Studio – A Semantic Web Services Modelling Environment for WSMO

Franconi, Enrico, Kifer, Michael, May, Wolfgang

Year:

2007

Language:

english

File:

PDF, 482 KB

english, 2007

46

[Lecture Notes in Computer Science] The Semantic Web: Research and Applications Volume 4519 || Ontology-Driven Semantic Ranking for Natural Language Disambiguation in the OntoNL Framework

Franconi, Enrico, Kifer, Michael, May, Wolfgang

Year:

2007

Language:

english

File:

PDF, 251 KB

english, 2007

47

[Lecture Notes in Computer Science] The Semantic Web: Research and Applications Volume 4519 || A Semantic Web Service Oriented Framework for Adaptive Learning Environments

Franconi, Enrico, Kifer, Michael, May, Wolfgang

Year:

2007

Language:

english

File:

PDF, 1.14 MB

english, 2007

48

[Lecture Notes in Computer Science] The Semantic Web: Research and Applications Volume 4519 || How to Design Better Ontology Metrics

Franconi, Enrico, Kifer, Michael, May, Wolfgang

Year:

2007

Language:

english

File:

PDF, 329 KB

english, 2007

49

[IEEE 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Atlanta, GA, USA (2013.11.17-2013.11.20)] 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Developing Troubleshooting Systems Using Ontologies

Basseda, Reza, Kifer, Michael, Kane, John P., Greenspan, Steven, Fodor, Paul I.

Year:

2013

Language:

english

File:

PDF, 231 KB

english, 2013

50

[Lecture Notes in Computer Science] The Semantic Web: Research and Applications Volume 4519 || Ways to Develop Human-Level Web Intelligence: A Brain Informatics Perspective

Franconi, Enrico, Kifer, Michael, May, Wolfgang

Year:

2007

Language:

english

File:

PDF, 184 KB

english, 2007

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски